Note - I didn't change any of the actual existing logic for type inference that was used for functions. I just extracted it for re-use by constructor "new expressions". The PR is best reviewed with the "hide whitespace" box checked.

@mattjohnsonpint Thanks, that diff looks so much more manageable to review now.

Note: it doesn't handle this case:

class Foo<T> {
    constructor(public x: T) {}
}

class Bar<T> extends Foo<T> {}

const x = new Bar("hi")

That can probably be figured out at a later date.

Note: it doesn't handle this case:

class Foo<T> {
    constructor(public x: T) {}
}

class Bar<T> extends Foo<T> {}

const x = new Bar("hi")

That can probably be figured out at a later date.

I might be able to address that. I'll take a look tomorrow. Good catch!

It should handle that case now. Thanks!

Also, FWIW, I don't think either of the previously existing test cases marked TODO are valid. They aren't in regular TypeScript anyway, so I don't think they should be in AssemblyScript.

They aren't in regular TypeScript anyway, so I don't think they should be in AssemblyScript.

I don't know what those are for either. I'm guessing it's something related to omitting : T and inferring the return type (I think a is a placeholder for some value dependent on the generic T).